rv{-}shift($x$;$X$)($s$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$X$(cons{-}seq($x$;$s$))